Micron Document




Security-focused operating system
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
top
This is a list of operating systems specifically focused on security. Similar concepts include security-evaluated operating systems that have achieved certification from an auditing organization, and trusted operating systems that provide sufficient support for multilevel security and evidence of correctness to meet a particular set of requirements.

Contents

Linux
BSD
Xen

──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

Linux

Android-based

GrapheneOS is a privacy and security-focused mobile operating system for selected Google Pixel smartphones and tablets.

Debian-based

Tails is aimed at preserving privacy and anonymity.cite-ref-1[1]
Whonix consists of two virtual machines. All communications are forced through Tor.cite-ref-2[2]cite-ref-3[3]cite-ref-4[4]
Linux Kodachi is a security-focused operating system.cite-ref-5[5]

Other Linux distributions

Alpine Linux is designed to be small, simple, and secure.cite-ref-6[6] It uses musl, BusyBox, and OpenRC instead of the more commonly used glibc, GNU Core Utilities, and systemd.cite-ref-7[7]
Owl - Openwall GNU/Linux, a security-enhanced Linux distribution for servers.

BSD

OpenBSD is a Unix-like operating system that emphasizes portability, standardization, correctness, proactive security, and integrated cryptography.cite-ref-8[8]

Xen

Qubes OS aims to provide security through isolation.cite-ref-9[9] Isolation is provided through the use of virtualization technology. This allows the segmentation of applications into secure virtual machines.

See also
References

cite-note-11. citerefvervloesem2011Vervloesem, Koen (27 April 2011). "The Amnesic Incognito Live System: A live CD for anonymity [LWN.net]". lwn.net. Archived from the original on 21 August 2017. Retrieved 14 June 2017.
cite-note-22. "Devs cook up 'leakproof' all-Tor untrackable platform". The Register. 13 November 2012. Retrieved 10 July 2014.
cite-note-33. citerefgreenburg-andy2014Greenburg, Andy (17 June 2014). "How to Anonymize Everything You Do Online". Wired. Retrieved 10 July 2014.
cite-note-44. "Whonix adds a layer of anonymity to your business tasks". TechRepublic. 4 January 2013. Retrieved 10 July 2014.
cite-note-55. citerefchoudhury2019Choudhury, Ambika (4 June 2019). "10 Most Secured Linux Distros For Advanced Privacy & Security". AIM. Retrieved 1 November 2024.
cite-note-66. "about | Alpine Linux". alpinelinux.org.
cite-note-77. citerefsays2010says, GigaTux (24 August 2010). "Alpine Linux 2 review | LinuxBSDos.com".
cite-note-88. citerefopenbsd-project2020OpenBSD Project (19 May 2020). "OpenBSD". OpenBSD.org. Retrieved 12 October 2020.
cite-note-99. "Qubes OS bakes in virty system-level security". The Register. 5 September 2012.